181. Programming languages implementation and logic programming : International Workshop PLILP'88, Orleans, France, May 16-18, 1988, Proceedings
پدیدآورنده : P. Deransart, B. Lorho, J. Maluszynski )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
348
182. Programming languages : implementations, logics and programs: 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996 : proceedings
پدیدآورنده : Herbert Kuchen, S. Doaitse Swierstra )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1140
183. Programming languages : implementations, logics and programs : 7th International Symposium, PLILP'95 Utrecht, The Netherlands, September 20 - 22, 1995 : proceedings
پدیدآورنده : Manuel Hermenegildo, S. Doaitse Swierstra )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
982
184. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
185. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
P74
186. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
187. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
پدیدآورنده : Boi Faltings... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3419
188. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
پدیدآورنده : Barry O'Sullivan )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2627
189. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
190. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
پدیدآورنده : editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
1998
191. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
پدیدآورنده : editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: (طهران)
موضوع : Functional programming )Computer science( - Congresses , Logic programming - Congresses
رده :
QA
76
.
62
.
F84
1998
192. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 Proceedings
پدیدآورنده : edited by Ehud Shapiro
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L4
v
.
225
193. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986: Proceedings
پدیدآورنده : edited by Ehud Y. Shapiro
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
225
194. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
195. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on )Trans( Actions and Change in Logic Programming and Deductive Databases, )DYNAMICS'97(, Port...Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
پدیدآورنده : Burkhard Freitag...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Deductive databases,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1472
196. Trends in Functional Programming
پدیدآورنده : \ Jurriaan Hage , Jay McCarthy (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها
رده :
QA
76
.
62
.
T7
2015
E-Book
,
197. Trends in functional programming :
پدیدآورنده : Michał Pałka, Magnus Myreen (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
198. Trends in functional programming :
پدیدآورنده : David Van Horn, John Hughes (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
199. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
200. Web Reasoning and Rule Systems
پدیدآورنده : \ Balder ten Cate , Alessandra Mileo (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantic Web -- Congresses.,Rule-based programming -- Congresses.,Logic programming -- Congresses.,وب معناشناختی-- کنگره‌ها ,برنامه‌نویسی مبتنی بر قواعد -- کنگره ها ,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
TK
5105
.
88815
.
W4
2015
E-Book
,
